theorem Th2: :: DICKSON:3

for X being infinite set ex f being sequence of X st f is one-to-one