P x (f x) à ??rt?r ?? ?x.?y.P x y? ???s ,
a n ??s t?r??s? ??s ??s?????s ?t???q??s s??t ?? ?? ??r?? e? {a 1 ,
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? ,
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 ) ,
x)? ????t?t à E(x) q?? ?st ?? t????? t * (E, E) + t(F ) + 1 t(E ? ) = t * (E) + t * (F ) + 3 ,
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? ,
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 ,
b}) ? ({a} ? {a, b, c})) ? (a = b ? f a = b ? g b = f a ? ((?x ,