Li-Fan Chen says to YSITD
就看 x 是不是 A 的元素啊