  We prove a version of the Poincar\'e-Birkhoff-Witt Theorem for profinite
pronilpotent Lie algebras in which their symmetric and universal enveloping
algebras are replaced with appropriate formal analogues and discuss some
immediate corollaries of this result.
