The proof is simply this. As a = b we know that ma = mb; therefore if

ma > nc, then mb > nc,

if

ma = nc, then mb = nc,

if

ma < nc, then mb < nc,

therefore the first proportion holds by Definition 5.

Prop. 8. If

a > b, then a : c > b : c,

and