Alternate segment theorem

Alternate segment theorem