theorem :: XPRIMES0:722

not 722 is prime