コースの定理を余剰分析で図式化するのに１時間半かかりました。