\[\int_{0}^{x}\!\!\int_{0}^{v}\operatorname{Bi}\left(t\right)\,\mathrm{d}t\,%
\mathrm{d}v=x\int_{0}^{x}\operatorname{Bi}\left(t\right)\,\mathrm{d}t-%
\operatorname{Bi}'\left(x\right)+\operatorname{Bi}'\left(0\right),\]