Category:Integer Coprime to Factors is Coprime to Whole