Restklassenringe (Z)/Quadratreste/Chinesischer Restsatz und Reduktion/Fakt

Es sei eine positive natürliche Zahl mit kanonischer Primfaktorzerlegung (die seien also verschieden). Dann ist genau dann Quadratrest modulo , wenn Quadratrest modulo ist für alle .