Koleksi Teorema
Akar-akar dari persamaan kuadrat dimana adalah
Pada setiap pembagian bilangan bulat oleh bilangan bulat dimana , pasti ada tepat satu pasangan bilangan bulat dan , dimana adalah hasil bagi (quotient) dan adalah sisa bagi (remainder), yang memenuhi dan
Pada setiap bilangan bulat dan dimana yang memenuhi dan , dimana bilangan bulat adalah hasil bagi (quotient) dan bilangan bulat adalah sisa bagi (remainder), berlaku
Pembagian Euclid Dalam Polinomial
Pada setiap pembagian polinomial oleh polinomial , pasti ada tepat satu pasangan polinomial dan , dimana adalah polinomial hasil bagi (quotient) dan adalah polinomial sisa bagi (remainder) yang memenuhi , dimana atau
GCD dari dua buah bilangan bulat dan , dimana setidaknya salah satunya tidak nol, adalah bilangan bulat positif terbesar yang habis membagi dan
dimana dan
dimana
dimana
dimana
dimana dan
dimana
jika dan hanya jika dimana