theorem
  for X, f st f is_strongly_quasiconvex_on X holds f
  is_strictly_quasiconvex_on X;
