Duistermaat-Hörmander Propagation of Singularities Theorem