theorem Th14: :: MENELAUS:14

for A, B, C, A1 being Point of (TOP-REAL 2)
for lambda being Real st A,B,C is_a_triangle & A1 = ((1 - lambda) * B) + (lambda * C) holds
A <> A1