theorem Th11: :: TBSP_1:11

for N being non empty MetrStruct
for w being Element of N
for r being Real st N is Reflexive & 0 < r holds
w in Ball (w,r)