第2章_Leanによる初めての証明