deolalikar's proof is correct