把“同角的余角相等”改成“如果…，那么…”的形式：。