  We apply the language of the groupoid approach to Lie pseudo-groups, and the
classical Cartan-Kuranishi theorem, to prove that Cartan's equivalence method
terminates at involution (or at complete reduction) for constant type problems.
