>>669
真ん中には量化記号ありの式が扱えることも
条件にふくまれているのだから
下と関係あるのは自明だろうと思う。

おそらくそういうことが言いたいのでないんだろうと思うが
何が言いのかわからない。