毕氏法则：第一个数学定理？！