theorem :: XPRIMES0:1729

not 1729 is prime