[math-fun] Harding's Theorem