Proof of the parabola with vertex at the origin, and focus on the y-axis