完全数とメルセンヌ数の関係、素数が無限に存在すること、因数分解についてのユークリッドの補題（ここから素因数分解の一意性についての算術の基本定理が導かれる）、2つの数の最大公約数を捜すユークリッドの互除法などが含まれる。
几何原本也说明完全数和梅森质数的关系（欧几里得-欧拉定理）、质数有无限多个（欧几里得定理）、有关因式分解的欧几里得引理（导出了算术基本定理及整数分解的唯一性）等。