把“等角的补角相等”改成“如果⋯那么”的形式