Exercise 3, § 4

Show that under the conditions of no. 2, if $E$ is assumed to be a finitely generated left $A$-module and $F$ a projective right $B$-module, the canonical homomorphism (7) (no. 2) is bijective.