Lemma 1.17. Assuming that:

$A, B \subseteq G$
both non-empty

Then

E (A, B) \geq \frac{| A |^{2} | B |^{2}}{| A + B |} .