Fact (3), p. A:41 — if $[M]\not\equiv[N]$ then $N$ is eventually not $n$-compatible with $M$

Initializing...

Fact (3), p. A:41 — if $[M]\not\equiv[N]$ then $N$ is eventually not $n$-compatible with $M$ · Prove2Me