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