Sowas wie: Angenommen f : N→Z ein surjektiver Homomorphismus. Dann existiert ein n > 1 mit f(n)<f(1)⇒nf(1)<f(1)⇒f(1)<0. Aber es existiert ein m > 1 mit f(m)>f(1)⇒mf(1)>f(1)⇒f(1)>0
Das stellt einen Widerspruch dar, also kann so ein Homomorphismus nicht existieren.