一个简单的命题