The methods of Diamond's paper are rigorously justified by a projection-type theorem for cones on a
Banach space containing the cone of triangular fuzzy numbers, where a Banach space is a normed vector
space that is complete as a metric space under the metric d(x, y) = ||x-y|| induced by the norm.