Applying forcing method, we show that both are consistent with ZFC, respectively.
用力迫方法证明了它们分别相对于ZFC协调。