Description: Property for P to be a prime element in the ring R . (Contributed by Thierry Arnoux, 1-Jul-2024)