theorem Th73: :: SEMI_AF1:73

for SAS being Semi_Affine_Space
for a, b, c, p, q, r being Element of SAS st congr b,a,p,q & congr c,a,p,r holds
b,c // q,r