Proof: Get Number of Lines 14

Let's prove the following theorem:

if number of lines = 4, then number of lines = 5 - 1

Proof:

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

Given
1 number of lines = 4
Proof Table
# Claim Reason
1 5 - 1 = 4 5 - 1 = 4
2 number of lines = 5 - 1 if number of lines = 4 and 5 - 1 = 4, then number of lines = 5 - 1

Comments

Please log in to add comments