TEOREMA DEL EBRO

      Sea E una variedad real multifuncional tal que su intersección con la variedad U universal resulta ser la propia variedad E. Sea Q una función aleatoria aplicada a la variedad E y sean A_i (i=1,2…n; siendo n=17) un conjunto de subvariedades contenidas en E, de tal forma que SA_i=E y A_i L  A_j = 0. La aplicación de Q en la variedad E genera una partición E1/E2 tal que para todo xeE1; yeE2 es x>y. Demostrar que si  x es un punto perteneciente a la frontera de E1 en donde la función Q tiene un máximo y en tal punto su derivada es cero, la derivada de la función Q tiene un valor nulo en todos los puntos (y) pertenecientes a la partición E2 (TEOREMA DEL EBRO).