[72] This proposition is substantially the same as a theorem of Cantor, though it is enunciated in a much more general form.