>>541
証明してるのは先頭に∀がついてる論理式であって、それは箱を見ずに答える問題の定式化になってないって何回も言ってるだろ