Compute 1

Proof: Compute 1

Let's prove the following theorem:

if a = 90 - 67, then a = 23

Proof:

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

Given
1 a = 90 - 67
Proof Table
# Claim Reason
1 90 - 67 = 23 90 - 67 = 23
2 a = 23 if a = 90 - 67 and 90 - 67 = 23, then a = 23

Comments

Please log in to add comments