Ini managas akan bahwa setiap bilangan bulat beisi faktorisasi unik menjadi bilangan prima.