residue class

To prove the theorem, we examined each residue class modulo the ideal (n) in the ring of integers and chose a suitable representative.