Bosquejo de correctitud del problema1