  We formulate a division problem for a class of overdetermined systems
introduced by L. H{\"o}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.
