A line and a circle intersect at A and B, as shown below. Find the distance between A and B. The line is x = 4, and the equation of the circle is x^2 + y^2 = 25.
The distance between A and B is sqrt(17).