theorem :: XPRIMES0:1930

not 1930 is prime