And if, after S(n) steps, the machine does not halt, we know that it never will and thus that there are no counterexamples to the given conjecture (i.e., no even numbers that are not the sum of two primes).
Jeśli po S(n) krokach maszyna nie zatrzymała się, to wiemy, że nigdy się nie zatrzyma, a tym samym, że nie istnieją żadne przeciwprzykłady dla danej hipotezy (w szczególności, że nie ma liczby parzystej niebędącej sumą dwóch liczb pierwszych).