>>1の中では削除しているが、この題意が満たされる条件を導いている。
ので、進歩がないわけではないと思われる。