[174] Prerequisiti:[172]↺↻,[0NZ]↺↻.Se \(A⊂ ℝ^ n\) è convesso, \(x∈ {{A}^\circ }\) e \(z∈ ∂ A\) allora il segmento che li collega è contenuto in \({{A}^\circ }\), salvo eventualmente per l’estremo \(z\) (cioè \(∀ t∈(0,1), tx+(1-t)z∈ {{A}^\circ }\)).
[175]↺↻
