Comment by cion

Oh, sorry, didn't realize that. It still doesn't work, though, as the example of 2 * 3 * 5 * 7 * 11 * 13 + 1 = 59 * 509 shows.