theorem :: XPRIMES0:1507

not 1507 is prime