(פירוק זה הוא יחיד, אבל לא נזדקק לעובדה זו כאן).
11. '''פעולות מודולו פולינום'''. יהי F שדה, ויהי h פולינום אי-פריק מעליו (כלומר, בחוג הפולינומים <math>\ F[x]</math>), ממעלה n. נתבונן בחבורת המנה (ביחס לחיבור), <math>\ F[x]/F[x]h</math>, עם פעולת הכפל מודולו h. בחבורה הזו יש לכל קוסט נציג יחיד ממעלה קטנה מ-n. אם כך, בביצוע כל פעולה מחליפים את התוצאה בשארית שלה מודולו h.
'''משפט'''. <math>\ F[x]/F[x]h</math> הוא שדה. (התכונה היחידה שאינה טריוויאלית היא קיומו של הפכי, אבל את זה הוכחנו בסעיף הקודם).