theorem :: XPRIMES0:926

not 926 is prime