theorem :: XPRIMES0:818

not 818 is prime