theorem :: XPRIMES0:306

not 306 is prime