theorem :: XPRIMES0:728

not 728 is prime