?. ?. , ?. , ?. ?. , ?. ?r-?x-?@bullet@bullet?-?-?-?-?r, ?. et al., P x (f x) à ??rt?r ?? ?x.?y.P x y? ???s

?. , ?. , ?. Ét????, @. , ?. et al., a n ??s t?r??s? ??s ??s?????s ?t???q??s s??t ?? ?? ??r?? e? {a 1

}. .. ???-e-=-{a-1,, ?. ??-e-?-=-?xe, and ?. E. ?x, x = a 1 ? · · · ? x = a n ) ???? t(E) = t(a 1 ) + · · · + t(a n ) + 1? t * (E ? ) = 3 * n + t(a 1, ???? t(E) = 1? t * (E ? ) = 1? o(E ? ) = 0?

?. E. , ?. ?@bullet?-???-?-?-?-t?-???-?-?-t??@bullet@bullet?, ?. ???-?-?-?-??-?-s-@bullet?-??s-{a-1, ?. ??-@bullet?-?-?-r-?-?-e-?-f-?-?-Ù-?-?-??t-Êtr?, ?. ?. et al., a n } ??r ???s ?? ??s t(E ? ) ? t * (E) = 3 * n ? 1? ??? ??s ??s?????s ?????t???q??s s??t, P (x) ? Q(x) (E, F )

?. @bullet? and ?. ??, x)? ????t?t à E(x) q?? ?st ?? t????? t * (E, E) + t(F ) + 1 t(E ? ) = t * (E) + t * (F ) + 3

?. ?. , ?. Ér?@bullet?té-s?-?-?-?-s-?-?-s-q??, E. , ?. , and ?. @bullet?-?-?-r-?-?-{a-1, a n } ?t F s??t {b 1 , . . . , b m } ??ù a 1 , b m s??t ??s t?r??s?? ??t??s E ? ?? ??t?r?? ??t??? ??rès tr??s??r?

?. ??-?-t, E. , F. , ?. ?. , ?. ?@bullet?s?-??s-?-?-r et al., b m s??t ??s t?r??s??? ?? ? ???rs t(v ? E ? ) = t(a 1 ) + · · · + t(a n ) + t(b 1 ) + · · · + t(b m ) + k + 1? ?? ???s ?râ?? à ???? ?? s??t q?? ?? tr??s??r??t??? ?? v ? E ? ???t s?r ??? ??r???? ?? t????? é???? à (n + m) * (k + 2) ???r ?râ?? à ??? ?? s??t q?? v ????r?ît o(E ? ) = n + m ???s?? Pr????s t(a 1 ) + · · · + t(a n ) + t(b 1 ) + · · · + t(b n ) = n + m = n

?. and ?. @bullet, b}) ? ({a} ? {a, b, c})) ? (a = b ? f a = b ? g b = f a ? ((?x