If that is the case the counterexample is the sort of thing a stubborn cynical and amateur mathematician (and programmer) may have found.