theorem :: XPRIMES0:1727

not 1727 is prime