Lemma 4.6. Assuming that:

  • f1,f2,f3:G

Then
|T3(f1,f2,f3)|mini[3]fiU2(G)jifjL(G).