Definition A Metric is nice ⟺ Norm Induces a Metric Showing a Metric is Nice λ∈F⟹d(λx,λy)=∣λ∣d(x,y) Let z∈V⟹d(x+z,y+z)=d(x,y)