∫-∞zBi⁡(t)⁢ⅆ⁡t=∫0zBi⁡(t)⁢ⅆ⁡t=π⁢(Bi′⁡(z)⁢Gi⁡(z)-Bi⁡(z)⁢Gi′⁡(z))=π⁢(Bi⁡(z)⁢Hi′⁡(z)-Bi′⁡(z)⁢Hi⁡(z)).