この本、網羅性が低い上に定理が厳密じゃなかったりする