theorem :: XPRIMES0:961

not 961 is prime