一些有趣的推论