Prolongations of linear partial differential equations. I. A conjecture of Élie Cartan