是两个平行的命题。