这个命题好有趣