theorem :: XPRIMES0:1519

not 1519 is prime