theorem :: XPRIMES0:320

not 320 is prime