theorem :: XPRIMES0:854

not 854 is prime