theorem :: XPRIMES0:1775

not 1775 is prime