theorem :: XPRIMES0:542

not 542 is prime