求抽象代数一个问题的证明
怎么证明Zn里如果a和b不是单位,即没有逆,那么ab一定不是单位?