Relationship between Scorer Gi and Airy functions

Theorem

The following formula holds: $$\mathrm{Gi}(x)=\mathrm{Bi}(x)\displaystyle\int_x^{\infty} \mathrm{Ai}(t)\mathrm{d}t + \mathrm{Ai}(x)\displaystyle\int_0^x \mathrm{Bi}(t) \mathrm{d}t,$$ where $\mathrm{Gi}$ denotes the Scorer Gi function, $\mathrm{Ai}$ denotes the Airy Ai function, and $\mathrm{Bi}$ denotes the Airy Bi function.