「近世代數概論」(Garrett Birkhoff,Saunders Mac Lane) 3.1.1 引理2

以冪$[c(x)]^m$爲分母的有理式可以表示成一個多項式與一些有理分式之和，每個有理分式的分母是$c(x)$的冪，分子的次數低於$c(x)$的次數.

證明:這個命題是十分簡單的，只要利用帶餘除法有限次就可以實現了.實際上，這個命題是十分直觀的.