If an A-module M is the direct sum of a family (Mi)i∈I of submodules, thenAss(M)=⋃i∈IAss(Mi).
It may be reduced to the case where I is finite by means of (1), then to the case where Card(I)=2 by induction on Card(I). Then let I={i,j}, where i=j; as M/Mi is isomorphic to Mj, Ass(M)⊂Ass(Mi)∪Ass(Mj) (Proposition 3); moreover, Ass(Mi) and Ass(Mj) are contained in Ass(M) (Proposition 3), whence the result.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.