for an elaboration of this result see cantor's diagonal argument kandi agahitamo igifite urusaku gusumbya ibindi atunze there are currently two versions