x^2+y^2=25 and y=4