先頭に∀がついてる定式化で議論しても時間のムダ
ゴミみたいな結果が出るだけ