For all natural numbers x and y, we have:
x + 0 = x, x + y' = (x+y)';
x * 0 = 0, x * y' = x+(x*y);
0 <= x <=> T, x <= 0 <=> x = 0, x' <= y' <=> x <= y.