theorem :: XPRIMES0:1950

not 1950 is prime