We propose an algorithm that allows one to eliminate flows from conservation laws for hyperbolic equations by expressing partial derivatives of these flows in terms of the corresponding densities. In particular, the application of this algorithm allows one to prove that the decreasing of order of at least one of Laplace y-invariants of the equation uxy = F(x, y, u, ux, uy) is a necessary condition for the function Fuy to belong to the image of the total derivative Dx by virtue of this equation. Thus, we obtain constructive necessary conditions for the existence of differential substitutions that transform a hyperbolic equation into a linear equation or into the Klein–Gordon equation.