theorem :: XPRIMES0:1544

not 1544 is prime