f ° g = f ° h
Jeden falls geht f ° g von W nach Y und f ° h auch.
Sei nun w aus W, dann gilt
f ° g (w)
= f(2w) = w weil 2w ja jedenfalls gerade ist.
f ° h (w) = f(2w-1) und weil 2w-1 ja jedenfalls ungerade ist
= ( 2w-1 + 1) / 2 ) = w .
Also beide gleich.