theorem :: XPRIMES0:741

not 741 is prime