Lemma 2.2. Assuming that:

  • γ∈G^

Then
𝔼x∈Gγ(x)={1if γ=10otherwise,

and for all x∈G,

∑γ∈G^γ(x)={|G^|if x=00otherwise.