theorem :: XPRIMES0:1557

not 1557 is prime