По-моему,

уже не подходит
У-п-с, арифметик, блин
(Оффтоп)
Сначала я на 43 остановился, потом вдруг 259 "обнаружил" и добавил его, а вместо следующего 519 три точки поставил - влом стало перебирать, где точку ставить и есть ли она.
ну если я стану перебирать числа и вдруг
исчерпав все возможности для очередного множителя обнаружу, что его быть не может, то это и будет доказательством, что всё найдено.