diagonalization method to prove countability

Published --