theorem Th7: :: BROUWER3:7

for n being Nat
for p being Point of (TOP-REAL n)
for r being Real st r > 0 holds
ind (Sphere (p,r)) = n - 1