将命题“同角的余角相等”改写成“如果……那么……”的形式为（ ）。