theorem :: XPRIMES0:712

not 712 is prime