将下列命题改写成“如果...,那么...”的形式 写出题设很结论.