theorem Th7: :: COUSIN:6

for a being Real holds <*a*> is Point of (Euclid 1)