PROOF 20
If a < b and c < 0, then ac > bc
On an ordered field.
Definition D1
b − a denotes b + (−a).
Proof.
Related labs