theorem :: XPRIMES0:1542

not 1542 is prime