Prove algebraically that the straight line with equation x=2y+5 is a tangent to the circle with equation x^2+ y^2 =5