Theorem 6.9: (The Identity Property for Multiplication of Natural Numbers): Let n be a natural number. Then

Proof: This follows from Theorem 5.9.