Polynomial ring/Formal partial derivatives/Commute/Exercise