theorem Th29: :: AFF_4:29

for AS being AffinSpace
for a, b, c, d being Element of AS
for X being Subset of AS st X is being_plane & a in X & b in X & c in X & a,b // c,d & a <> b holds
d in X