theorem :: XPRIMES0:1509

not 1509 is prime