“同角的补角相等”改成命题“如果……那么……”