theorem :: XPRIMES0:1550

not 1550 is prime