21.12.2020

とんでもない証明ができたので見てもらいたいんですけど〜 ってことで研究室で解説．

準備してるときにやっぱダメだったことに気付いた．キツい．

が，その後で別の切り口が見つかった．いい感じ．