IX.7 Proposition IX.7
If a composite number by multiplying any number make some number, the product will be solid.
Proof
A composite has a factorisation ab; multiplying by c gives the
triple product abc, which is solid by definition (VII.17).
lines 74–74 in main.tex