把命题 等角的余角相等 改成如果 那么的形式