theorem :: XPRIMES0:1728

not 1728 is prime