theorem :: XPRIMES0:744

not 744 is prime