theorem :: XPRIMES0:747

not 747 is prime