theorem
  f is_strictly_convex_on X & Y c= X implies f is_strictly_convex_on Y
by XBOOLE_1:1;
