Redirecting to Cartan–Kähler theorem