Well, his proof does leave one loophole.
There is a loophole in his proof.