theorem :: XPRIMES0:49

not 49 is prime