The P. Hall basis from Section 15.4.3 applies in general to any Lie algebra. Let , , denote a P. Hall basis for the nilpotent formal Lie algebra . An important theorem in the study of formal Lie groups is that every can be expressed in terms of the P. Hall basis of its formal Lie algebra as