Cartan-Kähler theorem