Cantor の対関数についての証明は出典を示す

[Seasawher]

y. さんのPDFを参考にしたが、オリジナリティのある証明だと思われる（ふつうの証明なら、平方根を使ったりする気がする。実際 Wikipedia にある証明は二次方程式を使う）ので、出典を示すべきだろう。