質問: なんでウィルソンはウィルソンの定理を証明できなかったのですか? 合同式を使えばすぐに導けますよね?
回答: ウィルソンの定理の証明には フェルマーの小定理が必要だから フェルマーの小定理を証明した ライプニッツが ウィルソンの定理に気が付いていたが公表しなかったため