theorem :: XPRIMES0:524

not 524 is prime