波斯特定理