. . "We have just proved that if P is a nonempty perfect set in a Euclidean space, then P is not countable." . .