theorem :: XPRIMES0:815

not 815 is prime