We have constructed a proof of the theorum.

• 我们为这个定理提供了证明。