theorem :: XPRIMES0:1737

not 1737 is prime