theorem :: XPRIMES0:1827

not 1827 is prime