整环中的单位E同素元p的乘积Ep还是一个素元。