theorem :: XPRIMES0:364

not 364 is prime