Category:Integer Coprime to all Factors is Coprime to Whole