>>799
証明の内容を知らんが、円周率が無理数という証明は済んでたはず