(2.1.5補足)より厳密な導出

参考資料:なし