En problemas de valor inicial (PVI), se muestra cómo comprobar que la solución satisface la condición dada.