下列命题中为真命题的是