>>430
目クソくんは、場合分けが苦手だねw
それでは、東大の2014確率問題は解けないぞ! ;p)

>Joshiが系3.12を証明したのなら、ABC予想を証明したのはJoshi、ということになる

<場合分け>
1)望月の証明 N,Joshiの証明 Y
2)望月の証明 Y,Joshiの証明 Y
3)望月の証明 Y,Joshiの証明 N
4)望月の証明 N,Joshiの証明 N
(N:証明不成立、Y:証明成立)

・1)の場合のみ、ABC予想を証明したのはJoshiかもね
・2)の場合は、Joshiの証明は別証明になる
・3)の場合は、現状どおり(∵望月IUT論文は査読され出版されている)
・4)の場合は、(双六の)振り出しにもどる
だね

再度強調しておく
望月IUT論文は査読され出版されている