. "p is a prime number." . . .