Mir geht es nur um den Induktionsschluss (IS).
unter der Voraussetzung, dass (2n-1)x nicht durch 2 teilbar ist [ durch 2 teilbar ist ] , ist auch
(2·(n+1) - 1)x = (2n + 1)x nicht durch 2 teilbar [ durch 2 teilbar ]
weil 2n-1 und 2n+1 sich um 2 unterscheiden.
Der Induktionsschluss funktioniert also lustigerweise für zwei sich widersprechende Aussagen :-)
Man kann aber nur für die erste Aussage die Induktionsbasis verifizieren.
(Diese ist natürlich auch ohne Induktion klar, weil 2n-1 ungerade ist.)
Gruß Wolfgang