theorem :: XPRIMES0:366

not 366 is prime