代数得意な弟子さんはいつウィルソンの証明を教えてくれるのでしょうか?