A New Proof of the Existence of Free Lie Algebras and an Application. (7th July 2011)