反证法:假设f不是单射,那么存在a,b属于A,a不等于b,但是f(a)=f(b)。经计算有,h(a)=g(f(a))=g(f(b))=h(b)。由单射的定义,可知h不是单射。这与已知h是单射,矛盾。假设不成立,f为单射。