Existence of Cartan Subalgebras