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