ダウンロード

§5の終結式を利用して、拡張定理(3章§1定理3)を