If two numbers be prime to any number, their product also will be prime to the same.
lines 74–74 in main.tex