Proof: Division Substitution

Let's prove the following theorem:

if the following are true:
  • x = i
  • y = j

then i / j = x / y

Proof:

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

Given
1 x = i
2 y = j
Proof Table
# Claim Reason
1 x / j = i / j if x = i, then x / j = i / j
2 x / y = x / j if y = j, then x / y = x / j
3 i / j = x / y if x / y = x / j and x / j = i / j, then i / j = x / y

Comments

Please log in to add comments