theorem Th11: :: HILBERT3:12

for D being non empty set
for f being Function of 2,D ex d1, d2 being Element of D st f = (0,1) --> (d1,d2)