theorem Th28: :: ANPROJ_8:33

for a being Real
for p, q, r being Point of (TOP-REAL 3) holds |{p,q,(a * r)}| = a * |{p,q,r}|