抽象的な概念を導入するとき
ある証明とかを考える→「ところでこのへんはあんまり個別事情を使ってない気がしますね」