theorem :: XPRIMES0:936

not 936 is prime