Let be a field and let be relatively prime. Prove that and can have no roots in common.
We noted previously that is a Bezout domain. In particular, if and are relatively prime then there exist such that . If is a root of both and , then we have , a contradiction.