n번째 행의 n번째 칸 하나가 n번째 행을 탈락시킨다

그림에서 무엇을 볼까요?

다섯 개의 0과 1 수열에서 대각선 값을 강조하고 각 값을 뒤집어 새 수열 10110을 만드는 표

모든 수열을 E₁,E₂,E₃,…으로 적었다고 가정하자. 새 수열 E₀의 n번째 기호 bₙ을 Eₙ의 n번째 기호 aₙ,ₙ과 다르게 정한다. 대각선 칸이 m이면 bₙ을 w로, w이면 m으로 둔다.

이제 E₀가 목록의 u번째 수열 Eᵤ와 같다고 해 보자. 두 수열이 같으려면 u번째 자리도 같아야 하지만, E₀의 u번째 기호 bᵤ는 정의상 Eᵤ의 u번째 기호 aᵤ,ᵤ와 다르다. 따라서 E₀는 E₁과 첫째 자리에서, E₂와 둘째 자리에서, 일반적으로 Eᵤ와 u번째 자리에서 다르다. 목록에 어떤 행이 오더라도 그 행을 탈락시키는 자리가 하나씩 예약되어 있는 셈이다.