strong convexity proof.
