Category:Prime not Divisor implies Coprime