A simple proof of the triangle inequality for the NTV metric - Dress, Andreas W. M. 1938-2024; Lokot, Tatiana (Universität Bielefeld, Forschungsschwerpunkt Mathematisierung - Strukturbildungsprozesse, 2003)