Prove the alternate segment theorem.