for SAS being Semi_Affine_Space
for a, b, c, d, r, s being Element of SAS st congr r,s,a,b & congr r,s,c,d holds
congr a,b,c,d