theorem :: XPRIMES0:520

not 520 is prime