El teorema procede por inducción construyendo una serie de funciones vectoriales que converge hacia la solución única del problema: