Based on the exterior differential calculus, we define the exterior difference system on the hypercubic lattice. The pairing formula, bracket, contract operator and Lie derivative operator for this system are also constructed. The discrete H. Cartan formulas are obtained too. After those preparations, we prove the discrete Frobenius Theorem, discrete retraction theorem and discrete Cartan-Kähler theorem.