> 12月になれば、ABCが未解決かどうかなんてはっきりする
この理屈だと、何も知らない一般人から見れば、
「偉い先生方の(任意になし得る)合意」
が数学的真理を決定するように感じるかもな