功能定理,公式是什么呢?