需要满足的一些普遍结果