Substitute the Focusing Schrödinger lens ansatz into
The imaginary terms proportional to cancel because . After multiplying the remaining real equation by , one obtains
The dynamical system gives . Comparison with the equation for therefore requires
Thus, up to an arbitrary constant phase,