Given the natural numbers N with the properties of associativity and commutivity of both addition and multiplication and the distributive law with trichotomy(a<b, a>b or a=b) and transitivity(a > b, b > ca > c) and a < a + c and a < b
ac < bc for all a, b, c in N. With the integers Z defined as the set of ordered pairs (x,y) where
and
. 0 is defined as equivalence class of (m,m)
and
.How does one show that if
? My difficulty comes in how does one show that if
?
