theorem :: XPRIMES0:726

not 726 is prime