リウヴィルの定理
Cantor observes that combining his two theorems yields a new proof of Liouville's theorem that every interval ["a", "b"] contains infinitely many transcendental numbers.