theorem :: XPRIMES0:42

not 42 is prime