[snarkconjecture]

Checking the counterexample is a Calc II problem. Finding it was beyond the efforts of the best algebraic geometers for almost a century.