e/Busemann's theorem

Information
has gloss	eng: In mathematics, Busemann's theorem is a theorem in Euclidean geometry and geometric tomography. It was first proved by Herbert Busemann in 1949 and was motivated by his theory of area in Finsler spaces.
lexicalization	eng: Busemann's theorem
instance of	e/Inequality