RE: Cantor's diagonal method