-antiprimes, with the same formative condition

in the two cases, are

-equal.

31.3 Let

be any assigned formative condition, let

be the condition of 'being a