Proof: Get Number of Lines 26

Let's prove the following theorem:

if number of lines = 6, then number of lines = 7 - 1

Proof:

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

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

Comments

Please log in to add comments