↑(>702の式)
という式の成り立つ関数の性質を何と言ったかな?