等角的余角相等改写成如果那么形式是怎样?