for S being OAffinSpace
for x, y being Element of S holds
( Mid x,x,y & Mid x,y,y ) by Th4;