theorem :: XPRIMES0:1545

not 1545 is prime