If, the ideal generated by the first n of them is not equal to I we would have chosen f n plus 1 to be a polynomial of least degree among all elements of I minus the ideal generated by f n ok.
അവയിലെ ആദ്യ n സൃഷ്ടിച്ച ഐഡിയൽ I ക്ക് തുല്യമല്ലെങ്കിൽ, fn പ്ലസ് 1 എന്നത് I-fn സൃഷ്ടിച്ച ഐഡിയലിലെ എല്ലാ ഘടകങ്ങളിലും വച്ച് ഏറ്റവും കുറഞ്ഞ ഡിഗ്രിയുടെ പോളിനോമിയലായി തിരഞ്ഞെടുക്കുമായിരുന്നു.