?? s???? t?? s?st?? {? µ (P ), ? µ (Q)} ?s ??? s?r???? ?? ???t???s, res(P, Q))) = degree(F res ,
?? t?? s??s ?? t?? ???r??s ?? S k ?r? ??t t?? s??? ??r ??? ???s???r?? ?r???s? t?? ?r???s ??r ????? t??s s?? ?s?r? ?r?? ??s???? ??t f = ? i f i i ?? t?? ???????s?t??? ??t? r?s???t t? ???t??????t??s ?? t?? ?rst ???? ?? t?? ??? t??? t ?s ? r??t ?? f m ? ??? ??? ??st ????? t??t f m ??????s t?? ????r?t?rs ?? t?? ??r???t???s ?? P ??? Q ??t?r s??st?t?t????? ??????r??? t?? ???t??????t? m ?? ? r??t (?, ?) ?? t?? s?st? ,
?r? t?? s???t???s ?? t?? s?st?? S = {f, f y }? ?? ?s???t? t??s? s???t???s ,
y)? ??????? t?? s?s? t??s S i ??t? ???s ??????s t? ?r?s?r?? t?? ???t?? ,