命题 同角的余角相等 的题设是什么