Alternate Segment Theorem (Proof 3)