Теорема. Если n простое число, полученное из 5 или 3, то следующее такое число получается добалением 4 до получения простого числа.