演習6.1.5の定義を本の解答に合わせる
演習6.1.5の解答に二つの性質の証明を追加