theorem :: XPRIMES0:914

not 914 is prime