Solve the following system of non-linear equations for $x$ and $y$ where $x, y > 0$: $x^2 + y^2 = 25$ and $y = x + 1$. Which of the following are valid solution pairs $(x, y)$?