把命题“同角的余角相等”改写成“如果……，那么……”形式是______       _____ 。