theorem :: XPRIMES0:38

not 38 is prime