1st_axiom_of_a_metric