Die ist immer ungerade.
Bew: Seien x,y ∈ℤ und x gerade und y ungerade.
also x durch 2 teilbar und y nicht.
Angenommen x+y wäre gerade ( also auch durch 2 teilbar) dann wäre die
Differenz (x+y) - x = y als Differenz zweier durch 2 teilbarer
Zahlen, auch durch 2 teilbar, im Widerspruch zu :
y ist nicht durch 2 teilbar.