~存在证明(W-5)