theorem :: XPRIMES0:550

not 550 is prime