波斯纳定理是否等价于科斯定理三