i really need to see the proof of this theorem: if f and g are bijective then the inverse of (g o f) = inverse of f o inverse of g