用反证法证明命题“三角形中至少有两个锐角”，第一步应假设.