Se trata de una herramienta básica en la demostración de la existencia de soluciones de ecuaciones diferenciales (Véase el teorema de Picard-Lindelöf).