この事実の系として以下が従う系の証明の概略は以下の通りである.
この事実の系として以下が従う系の