Proof: Substitute 7 Pre

Let's prove the following theorem:

if b = d, then a + (b ⋅ (-1)) = a + (d ⋅ (-1))

Proof:

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

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

Comments

Please log in to add comments