Proof: Add Inverse

Let's prove the following theorem:

(b ⋅ a) + ((a ⋅ b) ⋅ (-1)) = 0

Proof:

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

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

Comments

Please log in to add comments