Surprise Computer Science Proof Stuns Mathematicians