For every A-linear mapping f:E→F, Ker(f(K))=(Ker(f))(K), Im(f(K))=(Im(f))(K), Coker(f(K))=(Coker(f))(K) to within canonical isomorphisms. In particular, for f(K) to be injective (resp. surjective, resp. zero), it is necessary and sufficient that Ker(f)⊂T(E) (resp. that Coker(f) be a torsion module, resp. that Im(f)⊂T(F)).
This follows from Corollary 1 and Proposition 26.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.