  We summarize our proof that the "Einstein-Gauss-Bonnet Gravity in
Four-Dimensional Spacetime" introduced in Phys. Rev. Lett. 124, 081301 (2020)
does not have consistent field equations, as such the theory does not exist.
The proof is given in both the metric and the first order formalisms.
