>>756
小さな系とかにも、上の定理とほとんど同じ証明が繰り返されたりするんだぞ
本全体で10個くらいしか定理証明出来なさそう