... si vede che non ero attentissimo a quella lezione (forse perchè ero in un'altra stanza).
Il punto 4 non è chiarissimo, per il resto va bene!
A parte che se non vuoi perder il punto che ti mancava per l'ambita medaglia, sarebbe meglio dimostrare che x e -x sono effettivamente soluzioni (sostituendo).
L'iniettività è un po' ovvia:
$ ~ f(a) = f(b) \Rightarrow f(f(a)) = f(f(b)) \Rightarrow a=b $
