Lemma 16.3. $2^{rank E (K)} = \frac{| Im α_{E} | \cdot | Im α_{E^{'}} |}{4}$ .