将命题“有一个内角是直角的三角形是直角三角形”改写成如果…那么…的形式 .