theorem :: XPRIMES0:1736

not 1736 is prime