結果 : normal module formula