定理証明手習い (58)

休息の時間を勝ち取りました。

おやつを食べ終わったら続けます。