.long { overflow-x : scroll; overflow-y: hidden; } 帰納定理の拡張 を示した。 それから直ちに得られる も示した。 また、累積帰納法に対応する形の も示した( は写像の縮小(定義域を縮めたやつ))。疲れた。