Kawamata-Viehweg vanishing theorem