凸円
とつえん convexity