Proof: Associative Property

Let's prove the following theorem:

(ab) / c = a ⋅ (b / c)

Proof:

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

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

Comments

Please log in to add comments