暇つぶし2chat MATH

- 暇つぶし2ch842:１３２人目の素数さん
23/07/07 20:29:26.34 a/OaINZz.net
>>783
誤解

Cor3.12から不等式0以上が得られるのではなく
Cor3.12の代わりに不等式0以上が得られる

逆に元々のIUTでCor3.12が得られるというなら
Cor3.12から矛盾を導くことで完全に潰せる

次ページ

続きを表示

1を表示