Cauchy-Kowalevski theorem