theorem :: XPRIMES0:1501

not 1501 is prime