同角的余角相等改为如果那么

---

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