It is proved that the substitituon mapping is a proper Fourier integral operator with generalized hypoellipticity.

证明了变量替换映射具广亚椭适富里叶积分算子。