I am trying to understand the proof of theorem 1 from [this][1] paper V. Kac and B. Weisfeiler.


[![enter image description here][2]][2]

Here $Z$ is the center of universal enveloping algebra $U(G)$ (here $G = \operatorname{Lie} \mathscr{G}$ ). $T$ is a Lie algebra of a maximal torus. $Z^{ \mathscr{G} }$ denote invariants (with respect to Ad-action of group $\mathscr{G}$) in $Z$.

Proof is not very short. But the last two lines are these

[![enter image description here][3]][3]

Here $\bar{A}$ means field of fraction of ring $A$. Suppose I believe that these fields are isomorphic and these rings are integrally closed. 

> **Question** How does it imply isomorphism of initial rings?

For example $ \mathbb{k} [x, xy] \subset \mathbb{k} [x, y]$



  [1]: http://weisfeiler.com/boris/papers/1976-indag.pdf
  [2]: https://i.sstatic.net/tFnh5.png
  [3]: https://i.sstatic.net/bTsm7.png