group residue theorem