Alternate Segment Theorem (Proof 1)