theorem :: XPRIMES0:771

not 771 is prime