Kleinigkeiten
Injektivität über die Umkehrfunktion

ist eigentlich immer einfacher als anders :-)
...and surjectivity is much easier this way.