展开 三角形有三条边是命题吗