翻译:differential ring extensions with no new constants