Proof: Subtract Number

Let's prove the following theorem:

if a = 360 + (180 ⋅ (-1)), then a = 180

Proof:

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

Given
1 a = 360 + (180 ⋅ (-1))
Proof Table
# Claim Reason
1 360 + (180 ⋅ (-1)) = 180 360 + (180 ⋅ (-1)) = 180
2 a = 180 if a = 360 + (180 ⋅ (-1)) and 360 + (180 ⋅ (-1)) = 180, then a = 180

Comments

Please log in to add comments