photo of cantor giving his diagonalization proof