掌握得不是很清楚,例如“同角的余角相等”怎么命题