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. | P | F |
|---|---|---|---|
| 2. | Dla każdej liczby parzystej x wartość F(x) jest parzysta. | P | F |
| 3. | Dla każdej liczby parzystej x wartość G(x) jest parzysta. | P | F |
| 4. | Dla każdej liczby x większej od 2 F(x) dzieli liczbę x. | P | F |