theorem Th3: :: RAMSEY_1:3

for X, Y being set st X is infinite holds
X \/ Y is infinite