theorem :: XPRIMES0:1520

not 1520 is prime