Proof: Substitution 16

Let's prove the following theorem:

if a = b ⋅ c, then a ⋅ a = ((b ⋅ c) ⋅ b) ⋅ c

Proof:

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

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

Comments

Please log in to add comments