[math-fun] orrery problem