f^(-1)|f(A)：f(A)→A は全単射。
B-f(A) に対しては適当にAの元を、例えばa∈Aを固定してaに対応させればいい;
g(x)=f^(-1)(x) (x∈f(A)), a(x∈B-f(A)) はBからAへの全射。