theorem :: XPRIMES0:912

not 912 is prime