举出一个真命题的例子,是它的题设和结论交换位置,所得命题仍是真命题