вычитаем еще простое и т.д.
Где-то здесь хотелось бы гарантий, что мы сможем продолжать процесс на всех шагах, особенно на последнем, и что сойдёмся ровно за

.
-- менее минуты назад --А, не надо, всё понял: после

шагов остаётся остаточек, неизвестно, простой ли, но уж точно взаимно простой с нашими простыми, тупо потому, что они все его больше. Ну да, выходит, всё.