>>953
○○の公式:ある等式そのものを指す
○○の定理:ある命題の真偽を主張するもの

違うよな?個人的な見解として
等式の形の命題であれば公式と呼んでも差し支えないことがあるが
等式の成立を主張する定理でなければ公式と呼ぶのはどうかと思う。