たくさんの論文でADEの可能性が発表されているのだから
これから証明されるだろ
時間がかかるのだから待ってろ