Hormander theorem
قضیه هورماندر
propagation of singularity
انتشار تکینی