theorem :: XPRIMES0:1905

not 1905 is prime