The proof in the post is pretty dubious.