Proof with reduced residue systems

Printable View