theorem Th1: :: DIRAF:1

for S being OAffinSpace
for x, y being Element of S holds x,y // x,y