>>708
(1) どんな2つの自然数も、かけると偶数になる。
(2) yの束縛が不明だが、先頭に全称で束縛されているとすると、
「どんな自然数yに対しても、それより大きな自然数xがある」