theorem :: XPRIMES0:723

not 723 is prime