>>692
そこは、>>687の、
>g=h=f^(-1)
>∵∀b∈B, ∃a∈A, g(f(h(b)))=g(b)=a∧g(f(h(b)))=h(b)=a
>それで、これをf^(-1)と定義する、ということです。
で証明になりませんか？