爱因斯坦判别法证明不可约