剛剛看到一個算是有趣的事情，
角谷靜夫，一個數學家，有一天在上課的時候寫下一則lemma
說，它的證明顯而易見。
然後他在課堂上花了半天，發現自己證明不出來。
他跟學生道歉，然後回自己辦公室再三推敲，還是證明不出來
他決定去找這個lemma的原始出處，去圖書館找到了
這篇文章記載這個lemma，然後說"Exercise for the reader.”
這篇文章的作者就是角谷靜夫。
這個人是怎樣的人阿，滿有趣的。