>>557
その時点でa∈Dなるaが無い場合その命題は真になるのだけど
納得がいかないならその否定をとってみれ