theorem :: XPRIMES0:1947

not 1947 is prime