√2が有理数でないことの証明で、テロップでPとQは互いに素の整数という仮定が追加されてたけど、この証明では互いに素であるという仮定は必要ない。細かいことだけど気になった。