第三正規化
推移的関数従属の排除ができた状態