Aber was ist genau der Beweis?
... 'ne ziemlich gute Frage!
Die Voraussetzung ist, dass jede gerade Zahl \(g \in \mathbb Z\) und jede ungerade Zahl \(u \in\mathbb Z\) in folgender Form geschrieben werden kann:$$g = 2n, \space n \in \mathbb Z, \quad u = 2m+1, \space m \in \mathbb Z$$Und diese Darstellung ist eindeutig und umkehrbar (also bijektiv). D.h. es existiert keine Zahl \(x \in \mathbb Z\), die sowohl in der einen und der anderen Form dargestellt werden kann.
Das Produkt zweier ungerader Zahlen \(u_1=2m_1+1\) und \(u_2=2m_2+1\) ist$$u_1 \cdot u_2 = 2(\underbrace{2m_1m_2+m_1+m_2}_{\in \mathbb Z}) +1 = 2k +1 \quad k \in \mathbb Z$$ergibt die Darstellung einer ungeraden Zahl (s.o.) und muss in Folge dessen ungerade sein.
Mit der Summe kann man genau so verfahren.