theorem :: XPRIMES0:1963

not 1963 is prime