Misalkan T adalah gelanggang matriks segitiga formal dan T[z; θ, d] adalah gelanggang polinomial miring atas T. Dengan mempelajari homomorfisma khusus dan derivasi miring pada gelanggang matriks segitiga formal, dapat dibuktikanbahwa gelanggang polinomial miring T[z; θ, d] memiliki representasi matriks segitiga formal.

---

Let T be a formal triangular matrix ring and T[z; θ, d] be a skew polynomial ring over T. By studying a particular ring homomorphism and skew derivation on formal triangular matrix ring, one can show that the skew polynomial ring T[z; θ, d] has formal triangular matrix representation.