provable prime number generator
