Yet another proof of the Ado theorem

We give a simple proof of the Birkhoff theorem about existence of a faithful representation for any finite-dimensional nilpotent Lie algebra of characteristic zero.