(3)の場合を に関する帰納法の仮定から証明することができます。 (3) かつ ならば のときは定義より 、 のときは に関する帰納法の仮定(*)より は定義されていて となります。よって
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。