Teorema nang mendasari definisi pembangian Euclidean memasti akan bahwa hasil bagi wan sisa seprti itu selalu ada wan unik.