"If p is a prime in the Euclidean domain R and p" . . . .