>>744-745
それでok。(2)の否定を満たす x で点列をつくる