Yep, this is how the proof works!
Edit: just looked at the SVG called "Diagonal Argument.svg". That's not what I know as the diagonal argument (https://en.wikipedia.org/wiki/Cantor%27s_diagonal_argument, http://mathworld.wolfram.com/CantorDiagonalMethod.html)