let f: if a then b and g: if b then c. prove that is the composition of g and f if a then c is injective so is f