The Jacobian Conjecture is established : Let $T$ be a polynomial ring over a field $k$ of characteristic zero in finitely may variables. Let $S$ be a $k$-subalgebra of $T$ such that $T$ is unramified over $S$. Then $T = S$.

※難問といわれるものです。講演の途中で「誤り」等が発見されることもあり得ます ので、そのときは難問解決への一つの試みと解釈していただくことのご寛容さを聴衆 の皆様に前もってお願いいたします。