Divide by 1

Proof: Divide by 1

Let's prove the following theorem:

if a = 1, then b / a = b

Proof:

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

Given
1 a = 1
Proof Table
# Claim Reason
1 b / a = b / 1 if a = 1, then b / a = b / 1
2 b / 1 = b b / 1 = b
3 b / a = b if b / a = b / 1 and b / 1 = b, then b / a = b

Comments

Please log in to add comments