Proof: Simplify3

Let's prove the following theorem:

((x ⋅ 4) ⋅ 2) - (2 ⋅ 2) = ((x ⋅ 4) ⋅ 2) - 4

Proof:

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

Proof Table
# Claim Reason
1 2 ⋅ 2 = 4 2 ⋅ 2 = 4
2 ((x ⋅ 4) ⋅ 2) - (2 ⋅ 2) = ((x ⋅ 4) ⋅ 2) - 4 if 2 ⋅ 2 = 4, then ((x ⋅ 4) ⋅ 2) - (2 ⋅ 2) = ((x ⋅ 4) ⋅ 2) - 4

Comments

Please log in to add comments