定理の変数を{}にして、テキストの表記に近づけた。