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

• 证明了变量替换映射是一个具广义亚椭园性的适的富里叶积分算子。