我们考虑一个形式为m（x，y，θ）= A（x，y）+ Bc（x，y）cos（2θ）+ Bs（x，y）sin（2θ）的平面上的实值函数+ Cc（x，y）cos（4θ）Cs（x，y）sin（4θ）对各向异性的声慢度（倒数速度）摄动建​​模。 该“慢度函数”取决于笛卡尔坐标和极角θ。 假设五个各向异性的“分量函数” A（x，y），Bc（x，y），Bs（x，y），Cc（x，y）和Cs（x，y）是实值Schwartz函数。 “行进时间”函数d（u，θ）对无限长的直线观察路径上的行进时间扰动进行建模，其中该直线的参数是距原点的垂直距离u和极角θ； 它是m（x，y，θ）的Radon变换。 我们证明：1）总是