_42 需要为假，则加入元素的过程本身却可能将其变为真，这便是需要 formula_44 以控制之后可能加入的元素的原因。考虑以下两种情况：根据以上描述的序列，显然 formula_71 满足 formula_37，故定理得证。这一证明方式叫做–力迫法。