theorem Th71: :: SEMI_AF1:71

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
congr b,c,r,q