If it finds a counterexample (an even number ≥ 4 that is not the sum of 2 primes in our example), it halts and notifies us.
Jeśli znajdzie przeciwprzykład (liczbę parzystą ≥ 4, która nie jest sumą 2 liczb pierwszych w danym przykładzie), to zatrzyma się i powiadomi nas.