[math-fun] What's the proof?