theorem :: XPRIMES0:360

not 360 is prime