theorem :: XPRIMES0:721

not 721 is prime