Proof: Distance Comparison

Let's prove the following theorem:

if distance AB > distance CD, then distance AB > distance DC

C D A B

Proof:

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

Given
1 distance AB > distance CD
Proof Table
# Claim Reason
1 distance CD = distance DC distance CD = distance DC
2 distance AB > distance DC if distance AB > distance CD and distance CD = distance DC, then distance AB > distance DC

Comments

Please log in to add comments