DSea un dominio integral y supongamos que la característica deD esn conn≠0. Si non es primo, entoncesn=ab, donde1<a<n y\(1 \lt b \lt n\text{.}\...DSea un dominio integral y supongamos que la característica deD esn conn≠0. Si non es primo, entoncesn=ab, donde1<a<n y1<b<n. Por Lema16.18, solo necesitamos considerar el cason1=0. Desde0=n1=(ab)1=(a1)(b1) y no hay cero divisores enD, cualquieraa1=0 ob1=0. por lo tanto, la característica deD debe ser menor den, lo que es una contradicción.