theorem :: XPRIMES0:765

not 765 is prime