theorem :: XPRIMES0:36

not 36 is prime