  The objective of this paper is to give alternative proofs for the symmetric
Poincar\'e-Birkhoff-Witt theorem utilizing the Magnus recursion formulae or
Dynkin's non-commutative polynomial comparison method and simple universal
algebraic principles. As an application of these principles, a theorem of
Nouaz\'e-Revoy type is also obtained.
