>>765
どうでもいいよ。下に書かずに横に並べて k∈X , k≠1 のままでも。k∈X-{1} としてもいいかも。