判断两个角相等的定理,定义,公理