実解析的なjに対し、ニューレンダー・ニレンベルグの定理は(frobenius theorem)から従う。