Вроде и семи достаточно.
А вот с этого момента, если можно, поподробней

Числа x, y и z в последовательности x*y**z* должны быть разными. Аналогично и x**y*z*, т.е. получается x*yy*z*.
Если то же самое рассмотреть справа, то получается *a*yy*b, т.е. в середине три одинаковых числа. QED
-- Пн фев 07, 2011 13:46:14 --Кстати, первая такая последовательность из шести чисел начинается со 133.