Proof congruence

Printable View