この記事は、他の記事で述べていなかった（抜け落ちていた）事項を説明します。他の記事（過去記事も含む）から参照することを目的にしています。$`\newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{\cat}[1]{ \mathcal{#1} } \newcommand{\In}{\text{ in }…