証明のスケッチみたいなものは残っているようですが、完全なものは消えている感じですね。
有理数の証明の方は、あまり深入りするのは辞めておきましょうかね…。