Polynomial ring/Differential operators/Not commutative/Exercise