电梯实验：老实人冗余理论