theorem :: XPRIMES0:1554

not 1554 is prime