高階の単一化