[math-fun] Provable semiprime, probably unfactorable.