theorem Th12: :: EUCLID_9:12

for r being Real
for e being Point of (Euclid 0) holds OpenHypercube (e,r) = {{}} by CARD_3:10;