G.336 composite number multiplying

IX.7

If a composite number by multiplying any number make some number, the product is solid.

composite_number_multiplying()

prove C is solid

assert Let the composite number A by multiplying any number B make C

assert A is composite,

∵ composite_number_measured_defassert It will be measured by some number

construct Let it be measured by D

assert as many times as D measures A, so many units let there be in E

assert then D measures A according to the units in E,

∵ number_said_multiply_defassert E by multiplying D has made A

assert since A by multiplying B has made C, and A is the product of D, E,

assert the product of D, E by multiplying B has made C

∴ C is solid, and D, E, B are its sides

Dependency Graph