Hi people, I'm a bit lost with this proof, I am studying order relations from my algebra book (so I have to use Peano axioms and the addition properties). I have to use induction to complete this proof? Or these types of proofs can be proved without induction?
math.stackexchange.com/questions/3030013/a-b-and-cd-imply-ac-bd 
