Если
не является простым числом, то он распадается на простые множители, один из которых равен
Легко проверяется, что
(где
, хотя на данном этапе даже не нужно) запишется либо как
, либо
. Рандомно выбрав разные
, можно построить гипотезу, что эта сумма не может иметь простых делителей вида
. Для первых чисел (5, 11, 17) это показывается непосредственно, хотя в общем виде пока не удалось доказать. Таким образом, если гипотеза верна, все простые делители
(в том числе, если число само простое) имеют вид
, а значит,
наверняка делится на 6.
Наоборот было бы проще (
обязано иметь простой делитель
). Здесь же все наметки срываются. Ясно, что если делитель есть, то либо он по меньшей мере второй степени, либо их по меньшей мере два различных. Дальше как-то пытался рассматривать
по модулю 36, но пользы вышло мало.