Cauchy-Kovalevskaja theorem