Vafa–Witten theorem