Теорема. Для любого четного n > 6 числа найдется пара простых чисел p<n : 2, p' > n : 2 таких, что p + p' = n. Кочкарев Б. С.