行方不明

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