>>792,793
結局
無理数であるとの証明は嘘だった
と認めたわけだ