theorem :: XPRIMES0:1541

not 1541 is prime