Proof: Transitive Subtract 3

Let's prove the following theorem:

if f = (a + b) - b, then f = a

Proof:

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

Given
1 f = (a + b) - b
Proof Table
# Claim Reason
1 (a + b) - b = a (a + b) - b = a
2 f = a if f = (a + b) - b and (a + b) - b = a, then f = a

Comments

Please log in to add comments