最近になってやっと、同値関係とコンパクト性だけ理解してれば何でも読めるって事に気づいた。