2.7.32 Function Properties

Condition: \ (f: a \ rightarrow b \) and \ (g: b \ rightarrow c- \) Biification. Prove that \ (g f: a \ rightarrow c- \) bijection.