暇つぶし2chat MATH

- 暇つぶし2ch838:１３２人目の素数さん
23/07/07 20:23:17.51 5TGpcNuS.net
>>778
難しい
そもそもIUTにはギャップがあって、それを何とか埋めたのがSSだが、
そうするとCor 3.12は不等式0以上という正しい（が、その後にabc予想も含めて何も得られない）命題が得られるので、矛盾はしない