Докажите что n3 - 31n кратно 6

А) 18,700 = 18,70                           б) 2,70 = 2,7000
    5,0900 = 5,09                                  13,01 = 13,0100
    0,070 = 0,07                                    0,080 = 0,0800
    4,18000 = 4,18                                7,56 = 7,5600
     0,96000 = 0,96                                0 ,003 = 0,0030
     13,0800 = 13,08                              2,405 = 2,4050
     167,87000 = 167,87                        6,3 = 6,3000
     0,010000 = 0,01                              97,01 = 97,0100
     8,37000 = 8,37                                100,034 = 100,0340

Сначала разберёмся, кого они загадывали. Вот список героев книги:

Буратино, Карло, Джузеппе, Сверчок, Арлекин, Пьеро, Мальвина, Артемон, Карабас, Дуремар, Алиса, Базилио.

Вроде всё.

Ясно, что Таня загадала Буратино, он один из 8 разных букв.

Юля загадала персонажа из 7 букв, всего на 1 букву меньше, чем Таня.

Но вот кого загадала Юля?

Если Дуремар, Артемон, Арлекин или Сверчок, то это 7 разных букв.

Тогда Юля использовала разных букв на 1 меньше, чем Таня.

Если же она загадала Базилио, то это 6 разных букв, на 2 меньше Тани.

А если Карабас, то это 5 разных букв. Тогда разных на 3 меньше.