 A basic application of Birkhoff’s theorem is in proving the completeness of a proposed axiomatization of a class \(C\). Given an arbitrary model of the axioms, it suffices to show that the model can be constructed as the homomorphic image of a subalgebra of a direct product of algebras of \(C\).