A triangle inequality for angles in a Hilbert space D. K. Rao — 1976 Revista colombiana de matematicas