theorem :: XPRIMES0:1953

not 1953 is prime