theorem :: SEMI_AF1:20

for SAS being Semi_Affine_Space
for a, b, c, d being Element of SAS st ( a = b or c = d or ( a = c & b = d ) or ( a = d & b = c ) ) holds
a,b // c,d by Def1, Th1, Th3;