Circular Velocity Formula Astronomy