theorem :: XPRIMES0:950

not 950 is prime