IsPrimeNearring( nr )  
A near-ring (N,+,cdot) with zero element 0 is called prime if the ideal { 0 } is a prime ideal.
The function IsPrimeNearring checks if nr is a prime near-ring
by using the condition for all non-zero ideals I,J: I cdot J ne 
{ 0 } and returns the according value true or false.
gap> IsPrimeNearring( LibraryNearring( "V4", 11 ) ); false
GAP 3.4.4