Alternate segment theorem