>>724 の〔補題〕

分かスレ447 - 82, 438