連投ごめん。
ちなみに杉浦難しいというのは、問題だけで、
本文の定義、公理、定理、命題、系とかの証明は普通に読めます。