一个公式但不知是什么定理或公式?