これは1882年にフェルディナント・フォン・リンデマンによって証明された(リンデマンの定理)。