theorem :: XPRIMES0:1552

not 1552 is prime