theorem Th4: :: RAMSEY_1:4

for X, Y being set st X is infinite & Y is finite holds
X \ Y is infinite