theorem :: XPRIMES0:905

not 905 is prime