# Property 4

Hi, a simpler proof:

a < b implies (by 3) that ac < bc.

c < d implies (by 3) that bc < bd.

The transitivity then gives that ac < bd.

Parting words from the person who closed the correction:
Hi, a simpler proof: a < b implies (by 3) that ac < bc. c < d implies (by 3) that bc < bd. The transitivity then gives that ac < bd. That is a lot nicer than what I had!
Status: Accepted
Reference to the user who closed the correction.:
Reference to the article this correction is about:
Status of the article (was it accepted?):
1
Status of the article (is it closed?):
1
What kind of correction is this:
Meta