命题“一个三角形中至少有两个锐角”是真命题用反证法证明该命题时,第一步应先假设.