theorem Th70: :: SEMI_AF1:70

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