The Elman-Lam-Krüskemper Theorem. (28th June 2011)