>>950
xの存在性とはどのような意味ですか?