[math-fun] A curious theorem