If each module Ri, i=1,...,n, is injective (resp. projective), the mapping α↦θ∘α (resp. α↦α∘θ) from ExtAm(P,M) to ExtAm+n(P,N) (resp. from ExtAm(N,P) to ExtAm+n(M,P)) is bijective for every A-module P and every integer m>0.
This indeed follows from Corollary 3 and the exact sequences
ExtAm+i−1(P,Ri)→ExtAm+i−1(P,Ki−1)→ExtAm+i(P,Ki)→ExtAm+i(P,Ri) (resp.
ExtAm+i−1(Ri,P)→ExtAm+i−1(Ki,P)→ExtAm+i(Ki−1,P)→ExtAm+i(Ri,P)), whose extreme terms are zero by assumption.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Nothing.
Nothing.