Formally Integrable Structures II. Division Problem

We formulate a division problem for a class of overdetermined systems introduced by L. H{ö}rmander, and establish an effective divisibility criterion. In addition, we prove a coherence theorem which extends Nadel's coherence theorem from complex structures to elliptic systems of partial differential equations.