Inter-universal geometry と ABC予想 (応援スレ) 68

[0787 １３２人目の素数さん 2023/07/07(金) 20:29:26.34 ID:a/OaINZz]

>>783
誤解

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

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