Vafa-Witten theorem