その前に「ある」を定義せよ。