theorem Th19: :: COUSIN:22

for a, b being Real
for xa, xb being Point of (Euclid 1) st xa = <*a*> & xb = <*b*> holds
dist (xa,xb) = |.(a - b).|