more modulo proofs

Printable View