theorem Th12: :: TBSP_1:12

for T being non empty Reflexive symmetric triangle MetrStruct
for t1 being Element of T
for r being Real st r <= 0 holds
Ball (t1,r) = {}