Special:EditPage/Nadel vanishing theorem