证明命题“直角三角形中的两个锐角中至少有一个角不小于45°”时，如果用反证法证明，应先假设．