State/Integers are relatively prime iff they have no common prime factors

 =Proof=