すみません
ミルナー・スタシェフの特性類講義p.224のLem20.1の証明の最後のステップになります