Redirecting to Cantor's diagonal argument