theorem :: XPRIMES0:904

not 904 is prime