theorem :: XPRIMES0:908

not 908 is prime