https://www.jstage.jst.go.jp/article/sugaku1947/41/2/41_2_154/_pdf
むずい。