theorem :: SEMI_AF1:74

for SAS being Semi_Affine_Space
for a, b, o, p, q being Element of SAS st congr a,o,o,p & congr b,o,o,q holds
a,b // p,q by Th73;