theorem :: XPRIMES0:1748

not 1748 is prime