数学の証明で「気付き」や「テクニック」が必要なのは、この2パターンしかない。
あとの部分は、定義や仮定を自明に変形しているだけ。