[see also: go]
The idea of the following proof, which yields both (a) and (b) at one stroke, is due to von Neumann.
Go to the list of words starting with: a b c d e f g h i j k l m n o p q r s t u v w y z