Cantor's first uncountability proof