2008-03-25 定理47 一つ一つのステートメントは理解できるのだけど、それが積みあがった全体は今ひとつしっくりと理解できた気がしない。具体例を考えないとつらい。10章から急に難しくなった気がする。