Sx∈Sxならばx∈xで、∅∉∅なんだから、x∉xなのは当たり前じゃん