prove Valiant–Vazirani theorem