The triangle inequality for graded real vector spaces of length 3 and 4 - Moskowitz, Martin (Array, 2014)