Talk:Cartan–Kuranishi prolongation theorem