theorem :: XPRIMES0:918

not 918 is prime