theorem Th8: :: DIRAF:8

for S being OAffinSpace
for a, b being Element of S st Mid a,b,a holds
a = b by ANALOAF:def 5;