先週は先日来取り組んでいる分野の第一の基本的な結果をフォローしていた。
それはある種の分類問題なのだが，
それがどうやると得られるのか，
証明を勉強していた。
色々と文献を見たところ，
証明はどうやら少なくとも3通りあることを知った。
そのいずれも色々なところに応用できる，
優れものの方法であることも少しずつわかってきた。
で，週末を使ってそのうちの1つの方法による証明を追っかけた。
はじめは何をやりたいのかよくわからなかったが，
一旦方針がわかると思っていたより早く納得がいった。
それ以上に，そういった発想ができる結果の発見者の洞察力に惚れ惚れした。