theorem :: XPRIMES0:810

not 810 is prime