[174] Prerequisites:[172]βΊβ»,[0NZ]βΊβ».If Aββn is convex, xβAβ and zββA then the segment that connects them is contained in Aβ, except possibly for the extreme z (i.e. βtβ(0,1),tx+(1βt)zβAβ).
[175]βΊβ»