赛尔定理的三个基本性质及其推导