theorem Th26: :: TOPREAL6:28

for r being Real
for p, q, s being Point of (TOP-REAL 2) st s = ((1 - r) * p) + (r * q) & s <> q & r <= 1 holds
r < 1