大事な定理を使おうとして， 一応 statement を確認してから使おうとして探したところ， 全然見つからなくて1時間くらいさまよってしまいました。 どこにでも載っているという気分だったのにこんなに探すのに時間がかかるとは。 ちょっと迷いすぎて気持ち悪…