theorem :: XPRIMES0:916

not 916 is prime