  We study a prey-predator model based on the classical Lotka-Volterra system
with Leslie-Gower and Holling IV schemes and a constant-effort harvesting. Our
goal is twofold: to present the model proposed by Cheng and Zhang in 2021,
pointing out some inconsistencies; to analyse the number and type of
equilibrium points of the model. We end by proving the stability of the
meaningful equilibrium point, according to the distribution of the eigenvalues.
