Added lazy prime.prime-4