二項述語の存在量化

二項述語の存在量化（変更が動く範囲を明示）を加筆修正してアップロード。