45年前の論文の解説を書いていて
今日その新証明を発見