Comment by eru

I'm not so sure. People had been trying to use brute force to find counterexamples before.