That would be the first formula from Lemma 6.3.
In reply to Re^2: [OT] Call to arms for mathematicians: by tobyink in thread [OT] Call to arms for mathematicians:(Update: please ignore!) by BrowserUk