И, кстати, давайте рассуждать логически. Если неизвестно, верна ли более слабая гипотеза, что можно сказать о Вашей? И тогда в каком смысле это "не то"?
Гальперин говорит, что сразу же за

первыми цифрами числа

не может идти набор из

девяток. Я так понимаю, что это значит, что сразу же за

первыми цифрами числа

не может идти набор из

девяток И БОЛЕЕ девяток, потому что если идет набор из

подряд идущих девяток, то в нем есть поднабор из

девяток, начиная с

цифры.
Еще условие можно понять так, что из его выполнения не следует, что сразу же за

первыми цифрами числа

не может идти набор, скажем, из

девяток - ведь сказано конкретно про набор

девяток, а набор из

- это уже совсем другой набор.
Если понимать гипотезу в первом смысле, то тем меньше

в утверждении "сразу же за

первыми цифрами числа

не может идти набор из

девяток", тем оно сильнее. Если во втором - то подобные утверждения "имеют одинаковую силу" для всех

- это как утверждения о счетности рациональных чел и целых - вроде и так и там говорится о счетности, но утверждения "не пересекаются" - ни одно не является прямым следствием другого(хотя если использовать теорему Кантора - Бернштейна, то из счетности рац. чисел следует счетность целых, но это не прямое следствие).