把命题“同角的余角相等”改写成“如果…那么…”的形式                         ．