人間なので何回も間違えるんですけどね。もうちょっと綺麗に書くと、

∀b∈B,
g=hより、
f(g(b))=f(h(b))=b
前提より、
∀a∈A,
g(f(a))=a