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