theorem :: XPRIMES0:1505

not 1505 is prime