One sees that α belongs to the ring R⁢[α-1] even being a unit of this (of course α-1∈R⁢[α-1]). Therefore also the principal idealα-1⁢R⁢[α-1] of the ring R⁢[α-1] coincides with this ring. Conversely, the last circumstance implies that α is integral over R.