不是弄个新命题“高于平均分”，“高于平均分”成立，证明不了zzzgc的描述不成立。

换句话来描述～

2+3=5证明不了1+4=5不成立。

想证明1+4=5不成立，那就得证明1+4不等于5，而等于其他值。