∫ⅆ⁡zAi⁡(z)⁢Bi⁡(z)=π⁢ln⁡(Bi⁡(z)Ai⁡(z)),