Proof of the following corollary of Birkhoff's Theorem: Every finite algebra is isomorphic to a subdirect product of a finite number of subdirectly irreducible finite algebras.

Theorem: For every variety generated by a finite set of finite lattice based algebras, its class of subdirectly irreducible algebras is, up to isomorphism, a finite set of finite algebras. (without proof)