As a more complicated example, let's look at the theorem that corresponds to the B function.
作为一个更加复杂的例子，我们看对应于函数B的定理的证明。