>>845
いやドラマの設定の定理でしょ？
こないだの陣内回で外国の数学者が解いたはずなのに冒頭で解かれてないって言ってたから