結果 : normal forms in normalization