>>311
狭義凸性の証明は?