theorem :: XPRIMES0:1503

not 1503 is prime