Cantor%27s first uncountability proof