Redirecting to Cantor's theorem