let f:A ---> B and g:B ---> C (if both are bijective, prove g o f is bijective)

Printable View