theorem :: XPRIMES0:526

not 526 is prime