さらに言えばpは複数あっても構わないわけですから、論文で書いたような
条件が成立するkというのは一つでなければならないという理由はありません。

私が数学記号∀や∃を理解していないということはありません。ただの誤解だ。