Hörmander Product Theorem