theorem :: XPRIMES0:1556

not 1556 is prime