把下列命题改写成“如果···,那么···”的形式