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

证明了变量射是一个具广亚椭园性适叶积分算子。