正規化
第一正規形