theorem :: XPRIMES0:1755

not 1755 is prime