theorem :: XPRIMES0:729

not 729 is prime