Legyenek $a_1\mathrm{,}{a}_2\mathrm{,}\text{...}\mathrm{,}{a}_n$ és $b_1\mathrm{,}{b}_2\mathrm{,}\text{...}\mathrm{,}{b}_n$ olyan komplex számok, amelyekre $\text{Im}{a}_j\ge 1$ és $\text{Im}{b}_j\le -1$ ($j=\mathrm{1,2,}\text{...}\mathrm{,}n$), és legyen