やれやれ

1個の補題の証明の中に6か所間違いがある…。
たぶんこれが個数としては最大だな。
1ページもない（半ページくらいの）証明によくぞここまで間違いを含められるものだ。感心してしまいます。
間違いのレベル（修正するのにかかる時間の長さ）は低いけれど。
赤ペンで修正を書き込んでますが傷だらけだよ。

そんなこんなで，まだ全然終わらない…。