みよちゃん、起きてる?あ、まみ。どこまで行った?もう、なんでみよちゃんは、すぐ眠っちゃうんだろう。あたしは大丈夫でしょ。みよちゃんの意見は重要なんだから、ちゃんと聞いててよぉ。0\)が成り立っているとする。0\)が成り立つような点\(P_{k}\)が存在することを示せ。これね、さっぱりわからなかった。何から手をつけたらいいかもわかんないし。私も、よくわからなかったな。ちなみに、みよちゃんは?多分、できてると思うけど。いろんなやり方があるけど、あたしは背理法で行くよ。0\)が成り立つような点\(P_{k}\)が存在しない」ことを仮定する。0\)となるパートナー\(m\)が存在することと同値。0\end{eqnarray}について考える。k_{4}\)のいずれかは\(m_{1}\)と等しい。m_{1}\)としても一般性を失わない。\\&=&0\end{eqnarray}となり、矛盾。k_{4}\)のいずれかと等しい。m_{2}\)としても一般性を失わない。m_{2}\)の選び方は3通りある。\\&=&0\end{eqnarray}となり、矛盾。\\&=&0\end{eqnarray}となり、矛盾。k_{4}\)と選ばなければならない。m_{3}\)の選び方は3通りある。\\&=&0\end{eqnarray}となり、矛盾。\\&=&0\end{eqnarray}となり、矛盾。\\&=&0\end{eqnarray}となり、矛盾。m_{4}\)の組み合わせは存在しないので、仮定が誤りである。0\)が成り立つような点\(P_{k}\)は存在する。文字が多すぎて、理解が追いつかない......。