下列命题中,是真命题的是