theorem :: XPRIMES0:1746

not 1746 is prime