命题"同位角相等"怎么改成如果、、、、那么、、、