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

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