证明. 作带余除法, $a=qb+r$. 因为$\gcd (b,r)|b$且$\gcd (b,r)|r$, 所以$\gcd (b,r)|qb+r$, 即$\gcd (b,r)|a$. 于是, $\gcd (b,r)$是$a$和$b$的公因数, 可知$\gcd (b,r)\le \gcd (a,b)$. 类似地, $\gcd (a,b)\le \gcd (b,r)$. 因此, $\gcd (a,b)=\gcd (b,r)$.

证明. 如果$e_1$和$e_2$是$X$的单位元, 那么$$e_1=e_1⁎e_2=e_2\text{.}$$

证明. 设$e$是$X$的单位元, 设$y$和$z$都是$x$的逆, 那么$$y=y⁎e=y⁎(x⁎z)=(y⁎x)⁎z=e⁎z=z\text{.}$$

证明. 设$\{{\alpha }_1,\dots ,{\alpha }_n\}$是$V$的一个有序基, 而$A$是$T$在此有序基下的矩阵表示. 令$B=xI-A$, 这是多项式环上的矩阵. 另外, 设$f$是$T$的特征多项式, 那么我们知道$\det (B)=f$, 以及$B(\mathrm{adj}B)=fI$. 根据$A$的定义, 我们知道$$\sum _{i=1}^n{B}_{i,j}(T){\alpha }_i=0,1\le j\le n\text{.}$$这里的$B_{i,j}$是一个多项式. 应用一个多项式于线性算子的结果是一个线性算子. 接着, 我们可以推出对于$k=1,\dots ,n$有$$\begin{array}{ccc}0& =& {(\mathrm{adj}B)}_{j,k}(T)\left(\sum _{i=1}^n{B}_{i,j}(T){\alpha }_i\right)\hfill \\ & =& \sum _{i=1}^n{(\mathrm{adj}B)}_{j,k}(T)B_{i,j}(T){\alpha }_i\hfill \\ & =& \sum _{i=1}^n[{(\mathrm{adj}B)}_{j,k}{B}_{i,j}](T){\alpha }_i\hfill \\ & =& \sum _{i=1}^n[B_{i,j}{(\mathrm{adj}B)}_{j,k}](T){\alpha }_i\hfill \end{array}$$在$j$上求和, 我们得到$$\begin{array}{ccc}0& =& \sum _{j=1}^n\sum _{i=1}^n[B_{i,j}{(\mathrm{adj}B)}_{j,k}](T){\alpha }_i\hfill \\ & =& \sum _{i=1}^n\sum _{j=1}^n[B_{i,j}{(\mathrm{adj}B)}_{j,k}](T){\alpha }_i\hfill \\ & =& \sum _{i=1}^n\left(\sum _{j=1}^n[B_{i,j}{(\mathrm{adj}B)}_{j,k}](T)\right){\alpha }_i\hfill \\ & =& \sum _{i=1}^n\left(\sum _{j=1}^n{B}_{i,j}{(\mathrm{adj}B)}_{j,k}\right)(T){\alpha }_i\hfill \\ & =& \sum _{i=1}^n\delta (i,k)(\det B)(T){\alpha }_i\hfill \\ & =& \sum _{i=1}^n\delta (i,k)f(T){\alpha }_i\hfill \end{array}$$分别令$k=1,\dots ,n$, 可得$$f(T){\alpha }_k=0,1\le k\le n$$既然$\{{\alpha }_1,\dots ,{\alpha }_n\}$是$V$的一个基, 而$f(T)$在基的每个向量上都为零, 那么$f(T)$本身肯定是一个零变换.

证明. 对于集合$X=\{n\cdot x|n\in \mathbb{N}\}$, 若对于每个$n\in \mathbb{N}$有$n\cdot x\le y$, 那么$y$就是集合$X$的上界. 显然$X$是非空的, 所以$X$有最小上界$y_0$. 对于每个$n\in \mathbb{N}$, 我们知道$(n+1)\in \mathbb{N}$, 于是$(n+1)\cdot x\le y_0$, 即$n\cdot x\le y_0-x$. 那么, $y_0-x$也是一个上界, 这与$y_0$是最小上界矛盾.

证明. 根据归纳即得.

证明. 注意到对于每个$k\in \mathbb{N}$, $\phi (k)\ge k$.

证明. 级数$\sum _{n=0}^{\infty }{y}_n$收敛的话, 说明其部分和有上界, 并且当然收敛至最小上界. 可以看出, 对于级数$\sum _{n=0}^{\infty }{x}_n$而言, 有$$\sum _{n=0}^k{x}_n\le \sum _{n=0}^k{y}_n\le \sum _{n=0}^{\infty }{y}_n,k\in \mathbb{N}\text{.}$$于是, 其部分和亦有上界, 且以$\sum _{n=0}^{\infty }{y}_n$为一个上界. 而$\sum _{n=0}^{\infty }{x}_n$又是最小上界, 故$\sum _{n=0}^{\infty }{x}_n\le \sum _{n=0}^{\infty }{y}_n$.