"家"に籠り、数学の難問の"証明"に行き詰まる底辺数学者・成瀬と"犬"のお話。 ※キャッチコピーだけはAIに出力させました