Proof: Multiply by 0

Let's prove the following theorem:

0a = 0

Proof:

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

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

Comments

Please log in to add comments