以下四个命题,是真命题的有