An exact structural identity and its normal form consequences in a modified Leslie--Gower model

Zhao and Zhao (2026) established a codimension-four Bogdanov--Takens singularity in a modified Leslie--Gower predator--prey model through a recursive normal form computation. We show that the nonlinear coefficients governing the restriction of the reduced system to the singularity's distinguished eigendirection are not independent. Instead, a single exact rational identity, already present in the transformed equations, generates the entire family of pure Taylor coefficients and proves that their simultaneous vanishing is an exact all orders property rather than a finite-order coincidence. We further show that this structural identity propagates through the planar Bogdanov--Takens normal form algorithm of Kuznetsov (2005). Although the pure coefficients vanish identically, the corresponding normal form coefficients are generated by mixed quadratic interactions. This leads to an explicit characterization of the degenerate Bogdanov--Takens locus and reduces the search for higher-order Bogdanov--Takens degeneracies to a single explicit algebraic condition.