公式の定義がイマイチよくわからん。
定理とどう違うんだ?