The proof of Theorem 1.1.1
1993 ◽
pp. 167-210