>>799-801
一網打尽に、組織的に実数の無理性や超越性を示す理論は存在する