CT7: Alternate Segment Theorem

CT7: Alternate Segment Theorem