## furnish

These models furnish integral formulas for the matrix entries of $F$.
Then Lemma 2 furnishes the bound $f\leq$ ......