theorem :: DIRAF:9

for S being OAffinSpace
for a, b, c being Element of S st Mid a,b,c holds
Mid c,b,a by Th2;