daraus folgt ¬∃a : M(a), sonst Widerspruch zu SN
WCR: existiert c mit b1→*c←*b2 und c→*n Nf.
Dann n1≠n oder n2≠n, also M(b1) oder M(b2).