theorem :: XPRIMES0:745

not 745 is prime