If α is a convex shape and f is a 1-lipshitz image then perimeter of convex hull of f(α) ⩽ length of α. (Similar statement for higher dimension has been proven by Alexander)