用双样本t检验去检验比例的时候,应该满足什么基本假设?还有一个问题,怎么证明合并方差无偏?