用“如果……那么……”的形式改写下列命题。