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 > c a > 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 ?