theorem :: XPRIMES0:1903

not 1903 is prime