如果两个角是对顶角,那么这两个角相等.
题设: 两个角是对顶角,
结论:这两个角相等.