Nesse trabalho apresentaremos a demonstração de um resultado devido à Lars Hörmander, que estabelece uma condição necessária para que um operador linear com coeficientes variáveis seja globalmente resolúvel.