数式の簡略化,解説追加