Proof: Simplify 2

Let's prove the following theorem:

(a ⋅ 2) ⋅ (1 / 2) = a

Proof:

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

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

Comments

Please log in to add comments