theorem :: XPRIMES0:777

not 777 is prime