A discussion of this theorem is the domain of a more advanced treatment-here we merely point out its exitence.

• 这个定理的讨论属于更高级的论述范围，我们在这里只是指出有这么一个定理存在。