[math-fun] Dumb astronomy question