Alternate Segment Theorem (Proof 2)