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