non-linear congruence proof

Printable View