Es brauchen nur Zahlen der Form 3n oder der Form 2*3n überprüft zu werden, da schon 2 Zweien für eine Null sorgen. Diese Zahlen dürfen nicht nur keine Null enthalten, sondern auch höchstens eine Zwei. Überprüft wurde die Vermutung für alle n<4*1010. Das größte n, bei dem die obigen Kriterien nicht zutrafen beträgt 11 (von der zweiten Form). Nötig für die Überprüfung waren nur die letzen 50 Stellen.
