将“同角的余角相等”改为“如果……那么……”的形式,并判断真假