Angenommen die Umkehrfunktion sei nicht ungerade, dann gibt es
ein y ≠ 0 mit f^(-1)(-y) ≠ -f^(-1)(y). #
==> f ( f^(-1)(-y) ) = -y und
f ( -f^(-1)(y) = -f ( f^(-1)(y) ) [ weil f ungerade ! ]
= - y
Somit gibt es zwei verschiedene ( siehe # ) Werte , die
den gleichen Funktionswert haben. ==> f nicht injektiv.
Widerspruch !