Inter-universal geometry と ABC予想 34

[0539 １３２人目の素数さん 2018/11/15(木) 17:40:57.31 ID:yisv0c6P]

>>522 >>524
証明の全体を機械で検証する必要はないんだよ
「なんでこれが成り立つんですか？」って言われたらその部分だけ論理式を書いて説明すればいい
それでも理解できないやつは人間じゃない