You are totally right but "convex" is a very strong assumption (so strong that the shape is determined by its harmonics). Very strong.