>>441
当たり前のことを定義から再構築していく段階だと、
一見当たり前のことでも証明の前提として使えないことがある。
その講義でどこまで定義・証明済みか分からないと、
その証明が適切かどうか判断に迷う。

とりあえず「ａ´＜２とすると ａ´＜ａをみたすａ∈Ａが存在する。」が
自明なのか怪しいと思う。
そこの所をもう少し詳しく書いた方が良さそう。