theorem :: XPRIMES0:776

not 776 is prime