命题“同角的余角相等”可以写成：如果（），那么（）。

【参考答案】

两个角是同一个角的余角；这两个角相等