A metric inequality for matrices See original record