theorem Th20: :: BORSUK_6:20

ex f being Function of [:R^1,R^1:],(TOP-REAL 2) st
for x, y being Real holds f . [x,y] = <*x,y*>