заметим что число простое очевидно что не может быть кратно ,(это единственный выход), так как сумма членов тогда может превышать числа . Следовательно должно делится на Пусть придется равняться только так как ранее было уже сказано. очевидно может принимать значения либо так далее уже будет превышать , проверяя их приходит к тому что такой прогрессий не существует.
заметим что число
очевидно что
Следовательно
Пусть
очевидно