theorem Th21: :: AFF_1:22

for AS being AffinSpace
for a, b, c, d being Element of AS st c in Line (a,b) & a <> b holds
( d in Line (a,b) iff a,b // c,d )