已知矛盾和差等关系成立,求证下反对关系成立