theorem :: XPRIMES0:1641

not 1641 is prime