Solves division problem for L. Hörmander's systems.
problem Division problem for L. Hörmander's overdetermined systems.
method Formulates and proves divisibility criterion, coherence theorem.
result Establishes effective divisibility criterion and extends coherence theorem.