State and prove the contraction mapping theorem. Demonstrate its use by showing that the differential equation $f^{\prime}(x)=f\left(x^{2}\right)$, with boundary condition $f(0)=1$, has a unique solution on $[0,1)$, with one-sided derivative $f^{\prime}(0)=1$ at zero.