为什么“这两个角相等”是“两个角是对顶角”的必要条件?