[112]Supponiamo che la sfera {x∈M2,‖x‖M2=1} non contenga segmenti non-banali: allora ogni funzione che soddisfa [(11.24)]↺↻ è necessariamente affine.
(Si veda anche l’esercizio [0ZZ]↺↻).