∑ℓ=0n(nℓ)⁢Hℓ⁡(212⁢x)⁢Hn-ℓ⁡(212⁢y)=212⁢n⁢Hn⁡(x+y),