Final version proof concave/convex 0.1