inicio teorema coercitividad con convexidad