刚刚看到一个算是有趣的事情，
角谷静夫，一个数学家，有一天在上课的时候写下一则lemma
说，它的证明显而易见。
然后他在课堂上花了半天，发现自己证明不出来。
他跟学生道歉，然后回自己办公室再三推敲，还是证明不出来
他决定去找这个lemma的原始出处，去图书馆找到了
这篇文章记载这个lemma，然后说"Exercise for the reader.”
这篇文章的作者就是角谷静夫。
这个人是怎样的人阿，满有趣的。