Theorem 7.4: For any natural number a,

a - a = 0

Proof: Proof: Since

a + 0 = a.

by Theorem 6.5, the result follows from Theorem 7.3.