Proof: Multiplicative Identity 3

Let's prove the following theorem:

1 ⋅ a = a

Proof:

View as a tree | View dependent proofs | Try proving it

Proof Table
# Claim Reason
1 a ⋅ 1 = a a ⋅ 1 = a
2 1 ⋅ a = a ⋅ 1 1 ⋅ a = a ⋅ 1
3 1 ⋅ a = a if 1 ⋅ a = a ⋅ 1 and a ⋅ 1 = a, then 1 ⋅ a = a

Comments

Please log in to add comments