Cantor's diagnolization argument.