“等角的余角相等”改写成“如果，那么.”