Vanishing theorem