https://azdok.org/document/y963dmgr-example-non-triangulable-derivation-differential-polynomial-algebra-rank.html