一方、(3)の "主張" により、"b" が("x0" ,"y0" )を含めば、formula_1の有限部分集合で "b" を被覆するものは存在しないので矛盾である。