(A local version of this result was proved by Élie Cartan and Maurice Janet in the 1920s.)
（這個定理的一個局部版本由埃利·嘉當與Maurice Janet 在1920年代證出。