theorem :: XPRIMES0:1551

not 1551 is prime