grooved part

[ریاضیات] قضیه ی شیار دار