Proof: Additive Inverse 2 Pre

Let's prove the following theorem:

c + (a ⋅ b) = c + (b ⋅ a)

Proof:

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

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

Comments

Please log in to add comments