Identify Alternate Segment Theorem