=> Sei f o g = id, zz (g o f)(x) = id(x) = x für alle x in X.
Sei x in X, dann existiert da g surjektiv ist ein Urbild von x unter g, also ein y in Y mit g(y) = x, nach Voraussetzung ist y = (f o g)(y) = f(g(y)) = f(x)
D.h. (g o f)(x) = g(f(x)) = g(y) = x
Andere Richtung analog.