for M being symmetric triangle MetrStruct
for r being Real
for p, q, x being Element of M st p in Ball (x,r) & q in Ball (x,r) holds
dist (p,q) < 2 * r