-primes, with the same formative condition

in the two cases, are

-equal.

31.2 An abstractive class is called 'antiprime in respect to the formative condition

' [whatever condition '