小平さんの本には高木提示の研究室のセミナーで、いやながさんが他人の論文を高木先生の前で解説してるくだりで、

否なが「証明はだいたいこんなかんじで・・・」
高木「大体じゃわからんだろ」

というようなのがあった。
なんかわかるような・・・