theorem :: XPRIMES0:77

not 77 is prime