Counterexample structure (k) — Normal form: a finite counterexample gives one of minimum order, generated by z, in which every congruence relating two distinct elements relates z and q(z)

Initializing...

Counterexample structure (k) — Normal form: a finite counterexample gives one of minimum order, generated by z, in which every congruence relating two distinct elements relates z and q(z) · Prove2Me