Khoury利用Gröbner基理论解决了Nowicki关于多项式环初等导数核的猜想。在本文中，我们给出了这个猜想的一个简单的新证明。