Hörmander's $L^2$ Theorem (Statement)