Notes on the Kazhdan-Lusztig Theorem on Equivalence of the Drinfeld Category and the Category of U(q)g-Modules