>>179
数年前にS. Langの予想を解決した
ここに名前を出すのは大変失礼なこと