0497陽気な名無しさん2024/03/19(火) 19:00:50.04ID:LQXeagfF0 もう進展はないかしら https://books.google.co.jp/books?id=qea_OXafBFoC&pg=PA4 のLemma1.6.が出典よ
