Rozważamy dwie funkcje F i G, których argumentem jest liczba całkowita x > 1 (gdzie mod oznacza resztę z dzielenia):

F(x):

   i=2

   dopóki x mod i ≠ 0 wykonuj:  i = i + 1

   zwróć  i



G(x):

   i = x – 1

   dopóki x mod i ≠ 0 wykonuj:  i = i – 1

   zwróć  i 

1. F(2)=2 oraz G(2)=1
2. Dla każdej liczby parzystej x wartość F(x) jest parzysta.
3. Dla każdej liczby parzystej x wartość G(x) jest parzysta.
4. Dla każdej liczby x większej od 2 F(x) dzieli liczbę x.