for i, j, l being natural Number st i in Seg l holds
i in Seg (l + j)