撑点和出发点。
定义.formula_3. 其中 formula_4 而且 formula_5 是一个质数，formula_6.这种表示的方法存在，而且是唯一的。
证明.算术基本定理的最早证明是由欧几里得给出的。准确的说，欧几里得证明了在一般整环上看与算术基本定理等价的命题：若质数formula_7，则不是 formula_8，就是formula_9。然而，在欧几里得的时代，并没有发展出幂运算和指数的写法，甚至连四个整数的乘积这种算式都被认为是没有意义