alternate segment theorem