Corollary 1
Tag 09X0, permanent. Cite it as [Bourbaki, Tag 09X0].
Lie Groups and Lie Algebras, chapter I, § 4. Nilpotent Lie algebras
For a Lie algebra g to be nilpotent, it is necessary and sufficient that, for all , be nilpotent.
The condition is necessary (Proposition 1). Suppose that its sufficiency has been proved for Lie algebras of dimension (). Let be an -dimensional Lie algebra such that, for all , is nilpotent. Theorem 1, applied to the set of , proves that the centre of is non-zero. Then is a central extension of the Lie algebra , which is nilpotent by our induction hypothesis. The proof is completed by applying Proposition 2.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.