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