theorem :: XPRIMES0:1815

not 1815 is prime