(Historically of course Cantor's theorem was proved much earlier.)
(歴史的にはカントールの定理の方が先に証明されている。