>>8
適当とか定数とかじゃなくて∀や∃や∈で書いてください