vanishing theorem