The theorem which underlies the definition of the Euclidean division ensures that such a quotient and remainder always exist and are unique.
Təmusne tan winan tifles aliɣi wan tazune tan euəlidien ikanu iyandǎɣ quotient əd iyamosan adiqiman atilan harkuk əd aqalnen iyadǎɣ.