[math-fun] speed of our galaxy