Властивості ділення з остачею