问题:b 构造性证明