“已知△ABC，AB＝AC，求证：∠B＜90°”时，如果用反证法证明，应先假设 .