演習6.1.4の定義の数式をalign環境に入れる
de Bruijnの綴りを修正