Using Axiomatic Semantics, prove these statements

x = 44 - 2 and x = 2 + 40

are not equivalent unless the two operands are equal.