theorem :: XPRIMES0:527

not 527 is prime