theorem :: XPRIMES0:1661

not 1661 is prime