theorem Th34: :: SEMI_AF1:34

for SAS being Semi_Affine_Space
for a, b, c, d1, d2, o being Element of SAS st not o,a,c are_collinear & o,a,b are_collinear & o,c,d1 are_collinear & o,c,d2 are_collinear & a,c // b,d1 & a,c // b,d2 holds
d1 = d2 by Th19;