赛尔定理的三个公式是什么