Next:
2.3.6.0.4 証明
Up:
2.3.6 いくつかの補題
Previous:
2.3.6.0.2 証明
2.3.6.0.3 証明
とおく。補題
2.3.2
より、
0
(ここで
より導かれる
を用いた。)
補題
2.3.1
, 補題
2.3.2
から、
であるから、
ならば、
となるので、
Next:
2.3.6.0.4 証明
Up:
2.3.6 いくつかの補題
Previous:
2.3.6.0.2 証明
Masashi Katsurada
平成14年11月29日