Proof: Subtract to Zero 3

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	a = 0 + b	if a - b = 0, then a = 0 + b (Subtract Move Over)
2	0 + b = b	0 + b = b (Additive Identity Variation)
3	a = b	if a = 0 + b and 0 + b = b, then a = b (Transitive Property of Equality)

Comments

Please log in to add comments