theorem Th7: :: COUSIN:8

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