theorem Th1: :: GOBOARD6:1

for M being non empty Reflexive MetrStruct
for u being Point of M
for r being Real st r > 0 holds
u in Ball (u,r)