spivakって、1変数だけで700ページもあるぞ
冗長過ぎてやってられん