theorem :: XPRIMES0:1540

not 1540 is prime