Remark

Tag 05RT, permanent. Cite it as [Bourbaki, Tag 05RT].

(1) Examples can be given of modules admitting two finite bases not having the same number of elements ( $§ 1$ , Exercise 16(c)). However:

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.