theorem :: XPRIMES0:1527

not 1527 is prime