Ділення з остачею. Властивість остачі