下列命题中,真命题是______.