in reply to [OT] Call to arms for mathematicians:(Update: please ignore!)
That would be the first formula from Lemma 6.3.