Convex analysis with application in the differentiation of convex functions