On E. Cartan's Prolongation Theorem of Exterior Differential Systems