Division by four
Doyle, Peter G. · Qiu, Cecil
Original · EN
Write A<=B if there is an injection from A to B, and A==B if there is a bijection. We give a simple proof that for finite n, nA<=nB implies A<=B. From the Cantor-Bernstein theorem it then follows that nA==nB implies A==B. These results have a long and tangled history, of which this paper is meant to be the culmination.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.