File:AdditivityOfEquidistance.png

For Axiom:Outer Additivity of Equidistance and Axiom:Inner Additivity of Equidistance.

Illustration by Steven Givant. Used with permission.