theorem Th2: :: COMPLEX1:2

for f being Function of 2,REAL ex a, b being Element of REAL st f = (0,1) --> (a,b)